Cho tam giác ABC, trên cạnh AC và AB lần lượt lấy E và F, BE cắt CF tại P sao cho tứ giác AEPF nội tiếp. Lấy D bất kì trên BC. Đường tròn (O1) qua D và E đồng thời tiếp xúc với (AEPF), đường tròn (O2) được định nghĩa tương tự. Chứng minh rằng BC là trục đẳng phương của (O1) và (O2).